detonation sensor. Dont know why, but double check it. Also check your MAF and air filter, CAS, and TPS plugs. These can all cause a no start situation.
Lastly, did you take a pic of you mileage before you left it with them? How many miles did they put on the car? I am always suspious of joy rides if my car doesnt come back like it should.